monadic - определение. Что такое monadic
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое monadic - определение

WIKIMEDIA DISAMBIGUATION PAGE
Monadic (disambiguation)

monadic         
1. <programming> unary, when describing an operator or function. The term is part of the dyadic, niladic sequence. 2. <theory> See monad. (1998-07-24)
Monadic         
·adj ·Alt. of Monadical.
Monadic predicate calculus         
Monadic logic; Monadic predicate logic; Monadic first-order logic; First order monadic predicate logic; Monadic first-order logic of order
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form P(x), where P is a relation symbol and x is a variable.

Википедия

Monadic

Monadic may refer to:

  • Monadic, a relation or function having an arity of one in logic, mathematics, and computer science
  • Monadic, an adjunction if and only if it is equivalent to the adjunction given by the Eilenberg–Moore algebras of its associated monad, in category theory
  • Monadic, in computer programming, a feature, type, or function related to a monad (functional programming)
  • Monadic or univalent, a chemical valence
  • Monadic, in theology, a religion or philosophy possessing a concept of a divine Monad